Collapsing algebras and Suslin trees
نویسندگان
چکیده
منابع مشابه
Collapsing Partial Combinatory Algebras
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formulation of computation theory or re-cursion theory. In this paper we develop some general theory concerning homomorphic images (or collapses) of pca's, obtained by identiication of elements in a pca. We establish several facts concerning nal collapses (maximal identiication of elements). `En passan...
متن کاملSuslin Lattices
In their work on spreading models in Banach spaces, Dilworth, Odell, and Sari [4] introduced the notion of a Suslin lower semi-lattice, a seemingly slight weakening of the notion of a Suslin tree. They posed several problems of a set theoretic nature regarding their notion. In this paper, we make a systematic study of the notion of Suslin lower semi-lattice, answering some of the questions rais...
متن کاملRecursive Unary Algebras and Trees
Khoussainov, B. Recursive “nary algebras and trees, Annals of Pure and Applied Logic 67 (1994) 213-268. A unary algebra is an algebraic system d = (A,f,, ,L). wheref,, . ,fm are unary operations on A and n EW. In the paper we develop the theory ofeffective “nary algebras. We investigate well-known questions of constructive (recursive) model theory with respect to the class of unary algebras. In...
متن کاملCollapsing words, permutation conditions and coherent colorings of trees
Given a word w over a finite alphabet Σ and a finite deterministic automaton A = 〈Q ,Σ, δ〉, the inequality |δ(Q , w)| ≤ |Q | − n means that under the natural action of the wordw the image of the state setQ is reduced by at leastn states. Awordw isn-collapsing if this inequality holds for any deterministic finite automaton that satisfies such an inequality for at least one word. In this paper we...
متن کاملInductive Algebras for Trees
Let G be a locally compact group and π : G → U(H) a unitary representation of G. A commutative subalgebra of B(H) is called π-inductive when it is stable through conjugation by every operator in the range of π. This concept generalizes Mackey’s definition of a system of imprimitivity for π; it is expected that studying inductive algebras will lead to progress in the classification of realizatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1981
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-114-2-141-147